142. An Introduction to Default Logic
پدیدآورنده : by Philippe Besnard.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
Q335
.
B974
1989
143. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
147. BL
پدیدآورنده : Compiled: Bhagavan Das
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
148. BL
پدیدآورنده : Aleda Roth ... [et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
149. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
150. Breaches of contracts and claims by third parties / Stephen Waddams -- Policy issues in defective property cases / Stephen Todd -- Defective structures and economic loss in the United States : law and policy / David F. Partlett -- Harm screening under negligence law / Israel Gilead -- Acts ,Notre Dame, Ind. :
پدیدآورنده : edited by Jason W. Neyers, Erika Chamberlain and Stephen G. A. Pitel. ,Alexandra Cuffel.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
151. CAM :
پدیدآورنده : edited by D. Kochan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
152. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
153. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
154. Computational artifacts :
پدیدآورنده : Raymond Turner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
167
155. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
156. Computational semantics with functional programming /
پدیدآورنده : Jan van Eijck and Christina Unger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
E43
2010eb
157. Domain Theory, Logic and Computation :
پدیدآورنده : edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003
158. Domains and Processes :
پدیدآورنده : edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2001
159. Dynamic Worlds
پدیدآورنده : edited by Remo Pareschi, Bertram Fronhöfer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
160. Expanding museum studies : an introduction / Sharon Macdonald -- Cultural theory and museum studies / Rhiannon Mason -- Sociology and the social aspects of museums / Gordon Fyfe -- Art history and museology : rendering the visible legible / Donald Preziosi -- Museums and anthropologies : practices and narratives / Anthony Alan Shelton -- Collecting practices / Sharon Macdonald -- The conundrum of ephemerality : time, memory, and museums / Susan A. Crane -- The origins of the public museum / Jeffrey Abt -- World fairs and museums / Robert W. Rydell
پدیدآورنده : edited by Sharon Macdonald.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
